namespace Rsdn.Framework.Formatting.JetBrains.Annotations
{
    using System;

    /// <summary>
    /// Indicates that the marked method is assertion method, i.e. it halts control flow if one of the conditions is satisfied. 
    /// To set the condition, mark one of the parameters with <see cref="T:Rsdn.Framework.Formatting.JetBrains.Annotations.AssertionConditionAttribute" /> attribute
    /// </summary>
    /// <seealso cref="T:Rsdn.Framework.Formatting.JetBrains.Annotations.AssertionConditionAttribute" />
    [AttributeUsage(AttributeTargets.Method, AllowMultiple=false, Inherited=true)]
    internal sealed class AssertionMethodAttribute : Attribute
    {
    }
}

